WCET相关论文
实时系统的正确性不仅仅体现在程序执行的结果，还体现在任务的执行时间。其任务的执行如果不能满足对截止时间的要求，会降低系统服务......
嵌入式实时系统在当今的生产生活中得到了广泛的应用,任务实时调度作为内核功能需要更加精简和高效。传统的实时调度算法使用最坏......
随着软件规模和硬件复杂性的不断增长,由确定性分析方法评估的最坏情况执行时间(WCET)越来越悲观,大大降低了系统的资源利用率.为......
传统的模型检验技术能够表示出实时系统的性质和规范，但是实时系统的实时约束大多基于抽象层次的实时模型来描述，无法与具体的程序相......
【摘 要】在安全关键实时系统设计中，为了保证系统的安全运行，实时任务必须在截止期之前完成，否则将产生严重的后果。衡量系统实时性......
Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Mini......
实时系统开发过程中必须强调时间的重要性和支持时间的可预报性。最坏执行时间分析与可调度性分析构成了实时系统时间方面操作可信......
在WCET分析中,最重要的一类工作就是Cache分析。目前,大多数的基于抽象解释技术的Cache分析中,分析算法是作用于整个程序的,如果能......
在实时软件系统中,软件时间性能的分析与评估技术是一个重要的课题,然而随着CPU的结构越来越复杂,采用传统的模拟底层硬件执行的方......
在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰.多核结......
通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观（over pessimistic）.如果......
面向通用计算机系统的指令预取技术无法满足实时系统的应用需求,其中一个重要原因是：无效预取引起的指令Cache内容污染使得实时任务......
程序最坏执行时间是实时系统可调度分析的基础,同时也是对系统进行性能分析,提前发现系统瓶颈的重要依据。本文首先论述了程序最坏......
针对传统的WCET(Worst-Case Execution Time)分析方法面临的精度不高和用户使用繁琐问题,提出一种自动分析程序模式的方法并据此设......
在WCET分析中,最重要的一类工作就是Cache分析。目前,大多数的基于抽象解释技术的Cache分析中,分析算法是作用于整个程序的,如果能......
该文主要介绍了实验是在什么样的系统配置和测试数据集上开展的。通过实验结果的对比可以看出,采用多层Cache分析,可以有效的发掘......
SPM（Scratchpad Memory）是实时嵌入式系统中常见的片上存储器,其分配管理在编译期进行,从而可以在编译完成时确定访存时延.当前的SPM......
在安全关键系统中,针对多核处理器共享硬件资源竞争带来的执行时间波动性问题,提出了基于性能计数器PMR和RSB的通用测试方法,通过......
实时程序最坏情况执行时间（Worst-Case Execuion Time, WCET）分析是指在程序或者程序片段执行之前获得其最坏情况的执行时间估值。事......
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方......
随着工艺技术的发展以及嵌入式实时应用范围的不断扩大和需求的不断提升,多核处理器必将凭其高性能和低功耗特性应用到嵌入式实时......
信息物理融合系统(Cyber-Physical System,CPS)是“工业4.0”和“中国制造2025”等众多战略中的核心技术,其是集计算、通信、控制......
嵌入式软件在交通运输、航空工业、工业生产等领域以及人们的日常生活中有着广泛的应用。在航空、工业控制中,嵌入式系统一旦出现......
随着汽车电子的不断发展，汽车性能的提高、安全等级的加强和要求的多样化，需要有更多单独的电子控制单元（ECU：ElectronicControl Unit）......
多核处理器具有良好的性能功耗比，因此其在实时嵌入式系统中的应用是一种趋势。然而，现有的软件结构下，多核处理器的多核特性对实时性......
